<?php
/*
 * Funzioni di utilita' per tutto il progetto.
 */


function read_xml_file ($filepath)
/*
 * Legge il file con percorso $filepath e lo manda in output dopo aver 
 * impostato gli header HTTP adatti.
 */
{
	header ('Content-Length: ' . filesize($filepath));
	header ('Content-Type: application/xml; charset=utf-8');
	readfile ($filepath);
}


function write_xml_file ($dom, $filepath)
/*
 * Salva il $dom nel $filepath in modo da preservare lettere accentate e 
 * amenita' varie.
 * Da usare al posto di $dom->save().
 */
{
	$dom->save ($filepath);
	// file_put_contents ($filepath, strtr ($xml, $table));
}


function output_typed_string ($string, $contentType)
/*
 * Produce in output la stringa $string, impostando gli header 
 * appropriati.
 */
{
	header ('Content-Length: ' . strlen ($string));
	header ('Content-Type: '. $contentType.'; charset=utf-8');
	echo $string;
}

?>
